Propagating Logical Combinations of Constraints
نویسندگان
چکیده
Many constraint toolkits provide logical connectives like disjunction, negation and implication. These permit complex constraint expressions to be built from primitive constraints. However, the propagation of such complex constraint expressions is typically limited. We therefore present a simple and light weight method for propagating complex constraint expressions. We provide a precise characterization of when this method enforces generalized arc-consistency. In addition, we demonstrate that with our method many different global constraints can be easily implemented.
منابع مشابه
Link Propagation Across Variability Representations with Isabelle / HOL
When dealing with highly complex product lines it is usually indispensable to somehow subdivide the overall product line into several smaller, subordinate product lines and to define orthogonal views on the line’s variability tailored to particular purposes, such as end-customer configuration. In this article we report on an ongoing research effort for dealing with feature links, i.e. logical c...
متن کاملSpatial Similarity Queries with Logical Operators
Traditional spatial querying assumes that a user specifies exactly the constraints of valid results, and that the result set contains only those items that fulfill exactly the query constraints. The nature of spatial data, however, makes it difficult for a user to always guess correctly the values stored, while exhaustive enumerations of acceptable alternatives to the ideal target would become ...
متن کاملClassifying and Propagating Parity Constraints (extended version)
Parity constraints, common in application domains such as circuit verification, bounded model checking, and logical cryptanalysis, are not necessarily most efficiently solved if translated into conjunctive normal form. Thus, specialized parity reasoning techniques have been developed in the past for propagating parity constraints. This paper studies the questions of deciding whether unit propag...
متن کاملDistance Constraints in Constraint Satisfaction
Users can often naturally express their preferences in terms of ideal or non-ideal solutions. We show how to reason about logical combinations of distance constraints on ideals and non-ideals using a novel global constraint. We evaluate our approach on both randomly generated and real-world configuration problem instances.
متن کاملTHE EFFECT OF PURE SHEAR ON THE REFLECTION OF PLANE WAVES AT THE BOUNDARY OF AN ELASTIC HALF-SPACE
This paper is concerned with the effect of pure shear on the reflection from a plane boundary of infinitesimal plane waves propagating in a half-space of incompressible isotropic elastic material. For a special class of constitutive laws it is shown that an incident plane harmonic wave propagating in the considered plane gives rise to a surface wave in addition to a reflected wave (with angle o...
متن کامل